Automatic Validation of Protocol Narration
نویسندگان
چکیده
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. We then apply static analysis technology to develop an automatic validation procedure for protocols. Finally, we demonstrate that these techniques suffice for identifying a number of authentication flaws in symmetric key protocols such as Needham-Schroeder, Otway-Rees, Yahalom and Andrew Secure RPC.
منابع مشابه
A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions
We present an interpretation of protocol narrations by means of translation into the spi-calculus. Our translation allows participants to play multiple roles in parallel, leading to a more general interpretation that considers a wider range of attacks than previous work. We test the validity of our translation by introducing correspondence assertions [Woo and Lam, S&P 1993] to both the protocol...
متن کاملDeveloping and Validation of Post-Traumatic Growth Protocol for Iranian Veterans
Background and Aim: Post-traumatic growth is a new concept in psychology, which is called positive personal changes that occur after a personchr('39')s exposure to traumatic events. The purpose of this study is to Compilation and validates the post-traumatic growth protocol for veterans of war. Methods: This research was conducted in a cross-sectional descriptive study in 2018. The statistical ...
متن کاملDriving stories, benefits of properties analysis
Emergent narrative means that it is the player that unfolds the narrative and then creates its own story. But game should control the drama in order to modify the player emotion through the game by enabling or disabling actions. In the framework of an adaptative system that manages player actions, this paper defines a formal model for interactive narration based on Linear Logic. We introduce a ...
متن کاملNarrative Science Systems: A Review
Automatic narration of events and entities is the need of the hour, especially when live reporting is critical and volume of information to be narrated is huge. This paper discusses the challenges in this context, along with the algorithms used to build such systems. From a systematic study, we can infer that most of the work done in this area is related to statistical data. It was also found t...
متن کاملExploring the Forecasting Potential of Company Annual Reports
Previous research indicates that the narration disclosure in company annual reports can be used to assist in assessing the company's short-term financial prospects. However, not much effort has been made to systematically and automatically assess the predictive potential of such reports using text classification, information retrieval, and machine learning techniques. In this study, we built SV...
متن کامل